Merge branch 'no-more-devel-headers' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Mon, 23 Nov 2020 19:01:44 +0000 (19:01 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 23 Nov 2020 19:01:44 +0000 (19:01 +0000)
commit729f0073798d238b52b29e335acd6cde8440deae
tree36e98020facbdc2126a44921932bb6685465befc
parentd7de7202758d376e79a431e0e77577292f3bc113
parentb75b359f19f2a19687af12229568e9ef6b683d24
Merge branch 'no-more-devel-headers' into 'master'

Drop devel styling from our windows

See merge request GNOME/gtk!2882